More from this Author

Model Checking Software

by Dragan Bosnacki (Editor), Stefan Leue (Editor)

Scenarios - Models, Transformations and Tools

by Stefan Leue (Editor), Tarja J. Systä (Editor)